3 results
The mix rule
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 273-285
-
- Article
- Export citation
A description of the non-sequential execution of Petri nets in partially commutative linear logic
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 152-181
-
- Chapter
- Export citation
A semantic characterisation of the correctness of a proof net
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 5 / October 1997
- Published online by Cambridge University Press:
- 01 October 1997, pp. 445-452
-
- Article
- Export citation